This volume, like the symposium CSP25 which gave rise to it, commemorates the semi-jubilee of Communicating Sequential Processes. ...
WeiterlesenThis book constitutes the proceedings of the Fifth European Performance Engineering Workshop, EPEW 2008, held in Palma de ...
WeiterlesenThis book constitutes the refereed proceedings of the 4th European Performance Engineering Workshop, EPEW 2007, held in Berlin, ...
WeiterlesenThis book constitutes the refereed proceedings of the 10th International Conference on Foundations of Software Science and ...
WeiterlesenThis volume contains the ?nal proceedings of the Sixth International Andrei Ershov Memorial Conference on Perspectives of ...
WeiterlesenDedicated to Jan Willem Klop, this volume comprises a total of 23 scientific papers by his close friends and colleagues. ...
WeiterlesenThis book constitutes the refereed proceedings of the 16th European Symposium on Programming, ESOP 2007, held in Braga, Portugal ...
WeiterlesenThis book presented together with the abstract of one invited talk and two tool presentations were carefully reviewed and ...
WeiterlesenThis book constitutes the thoroughly refereed postproceedings of the 18th International Workshop on Algebraic Development ...
WeiterlesenThis book constitutes the refereed proceedings of the 13th International Conference on Reversible Computation, RC 2021, which ...
WeiterlesenIt contains teaching concurrency; process languages; process mining; software engineering; state space visualisation techniques; ...
Weiterlesen